2

An Algebraic Approach to Intuitionistic Connectives

Year:
2001
Language:
english
File:
PDF, 386 KB
english, 2001
3

Functions with Arbitrarily Small Periods

Year:
1978
Language:
english
File:
PDF, 417 KB
english, 1978
6

Constructive Logic with Strong Negation as a Substructural Logic

Year:
2010
Language:
english
File:
PDF, 357 KB
english, 2010
9

The lattice structure of some Lukasiewicz algebras

Year:
1981
Language:
english
File:
PDF, 608 KB
english, 1981
10

How “flat” is the rich premixed flame produced by your McKenna burner?

Year:
2008
Language:
english
File:
PDF, 622 KB
english, 2008
11

Stone duality for Dedekind σ-complete ℓ-groups with order-unit

Year:
2006
Language:
english
File:
PDF, 163 KB
english, 2006
12

A Categorical Equivalence for Stonean Residuated Lattices

Year:
2018
Language:
english
File:
PDF, 558 KB
english, 2018
13

Remarks on Priestley duality for distributive lattices

Year:
1991
Language:
english
File:
PDF, 1.00 MB
english, 1991
15

The Poset of Primel-Ideals of an Abelianl-Group with a Strong Unit

Year:
1996
Language:
english
File:
PDF, 152 KB
english, 1996
16

Glivenko like theorems in natural expansions of BCK-logic

Year:
2004
Language:
english
File:
PDF, 204 KB
english, 2004
17

Complete and atomic algebras of the infinite valued Łukasiewicz logic

Year:
1991
Language:
english
File:
PDF, 510 KB
english, 1991
18

Boolean elements in Lukasiewicz algebras, I

Year:
1965
Language:
english
File:
PDF, 553 KB
english, 1965
19

Free algebras in varieties of BL-algebras with a Boolean retract.

Year:
2002
Language:
english
File:
PDF, 313 KB
english, 2002
22

Prime spectra of lattice-ordered abelian groups

Year:
1999
Language:
english
File:
PDF, 865 KB
english, 1999
27

Proper n-Valued Łukasiewicz Algebras as S-Algebras of Łukasiewicz n-Valued Propositional Calculi

Year:
1982
Language:
english
File:
PDF, 1.48 MB
english, 1982
28

Injective De Morgan and Kleene algebras

Year:
1975
Language:
english
File:
PDF, 725 KB
english, 1975
32

Ayda Ignez Arruda (1936–1983)

Year:
1984
Language:
english
File:
PDF, 329 KB
english, 1984
34

Stone duality for real-valued multisets

Year:
2012
Language:
english
File:
PDF, 255 KB
english, 2012
35

Boolean multiplicative closures, II

Year:
1966
File:
PDF, 282 KB
1966
36

Coproducts in the categories of Kleene and three-valued Łukasiewicz algebras

Year:
1979
Language:
english
File:
PDF, 584 KB
english, 1979
41

On a class of left-continuous t-norms

Year:
2002
Language:
english
File:
PDF, 286 KB
english, 2002
42

Free cancellative hoops

Year:
2000
Language:
english
File:
PDF, 34 KB
english, 2000
45

The class of Kleene algebras satisfying an interpolation property and Nelson algebras

Year:
1986
Language:
english
File:
PDF, 1.80 MB
english, 1986
47

Algebraic Logic || Complete and Atomic Algebras of the Infinite Valued Łukasiewicz Logic

Year:
1991
Language:
english
File:
PDF, 1.01 MB
english, 1991
48

Boolean multiplicative closures, II

Year:
1966
Language:
english
File:
PDF, 282 KB
english, 1966
50

Conditional expectations and martingales in Banach function spaces

Year:
1983
Language:
english
File:
PDF, 736 KB
english, 1983